Full structural model refinement as type refinement of colored Petri nets
نویسندگان
چکیده
In this paper we propose a method for implementing a full structural model refinement of a (biological) model represented as a (colored) Petri net. We build on the full structural data refinement definition of C. Gratie and Petre, and the type refinement of colored Petri nets introduced by Charles Lakos. Given a (biological) reaction-based model and a desired full structural refinement of it, we propose a general coloring scheme for a colored Petri net implementation of the model and give an algorithm for adding the refinement details in the Petri net model. We then prove that the construction is a type refinement, and that by our choice of color sets the resulting refined colored Petri net implements the full structural refinement of the given model.
منابع مشابه
Norm Contextualization 1
This paper proposes a normative structure to represent and analyze sets of norms that takes into consideration both the interrelationships between different norms and the context of their applications. This extends current approaches where relations between norms are not explicitly considered. More importantly, the explicit representation of institutional contexts on norms facilitates a context...
متن کاملColoured Petri Nets Refinements
Coloured Petri nets allow for modelling complex concurrent systems, but the specification of such systems remains a challenging task. Two approaches are generally used to lessen these difficulties: decomposition and refinement. Charles Lakos proposed three kinds of refinements for coloured Petri nets: type refinement, subnet refinement, and node (place or transition) refinement. This paper prop...
متن کاملHalbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
The topic of this PhD thesis is the stepwise refinement of distributed algorithms. Stepwise refinement starts with a simple algorithm with certain desired properties. This algorithm is refined step by step such that the desired properties are preserved in each refinement step. The result is a complex distributed algorithm which satisfies concrete implementation requirements and which still has ...
متن کاملColored Petri Net Modules of Complex Selecting Criteria
Colored Petri nets (CPNs) have been widely used as a mathematical modeling tool of dynamical systems , both for control and simulation. CPNs are very appealing and appear uncomplicated because of their simple graphical representation. However, as the CPN definition is very concise, specific processes have to be modeled with appropriate modules that sometimes are not easy to conceive. To broaden...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015